Modeling UML2 activity diagram by using Graph Transformation Systems and Abstract State Machine

Graphs and diagrams provide a simple and powerful approach variety of problems that are typical to computer science, for example for activities. In software development visual notation are used for modeling that including activity diagram, class diagram, control flow, graphs and some another diagrams. Models based on these notation can be seen a graph and graph transformation are involved. So Abstract State Machine (ASM) is a modern computation model. ASM based tools are used to academia and industry, albeit on a modest scale. They allow w e to give high-level operational semantics to computer artifacts and to write executable specifications of software and hardware at the desired abstraction level. The token flow semantics of UML2 activity diagrams is formally defined using Abstract State Machines and Graph Transformation System. The state of the art in semantics for UML2 activity diagrams covers three distinct approaches: mapping to Petri-nets, using graph transformation rules, or providing pseudo-code. ASM using pseudocode and graph transformation system using graph transformation rules for determining semantics. A major goal of this paper is ability to determine the correctness behavior and formal semantics of UML2 activity diagram by Graph Transformation System and Abstract state machine.